Formal Goes Crazy